检索结果

Select

1. 针对椒盐噪声的开关模糊滤波器

郭远华侯晓荣

计算机应用 2012, 32 (05): 1293-1295.

摘要（1061）

PDF （2046KB）（757）

自适应中值滤波随着椒盐噪声密度增加滤波图像细节损失较大。在开关滤波和自适应中值滤波的基础上提出了开关模糊滤波（SF）。SF用Max-Min算子检测噪声点，然后根据滤波窗口中正常点数量以均值方法或者T-S模糊方法去噪。仿真实验表明，开关模糊滤波比自适应中值滤波能更好地保护边界和细节。开关模糊滤波在消除噪声和细节保护之间取得了良好的平衡。

参考文献 | 相关文章 | 多维度评价

Select

2. 一阶子句搜索方法

郭远华曾振柄

计算机应用 2009, 29 (11): 3064-3067.

摘要（1133）

PDF （693KB）（1115）

子句集的可满足性判定是自动证明领域的热点之一。提出了子句搜索方法判定命题子句集Φ的可满足性，该方法查找Φ中子句的一个公共不可扩展子句C，当且仅当找到C时Φ可满足，此时C中各文字的补构成一个模型。结合部分实例化方法将子句搜索方法提升至一阶。一阶子句搜索方法可以判定子句集的M可满足性，具备终止性、正确性和完备性，是一种判定子句集可满足性的有效方法。

相关文章 | 多维度评价

Select

3. 非线性循环不变式的自动生成

毕忠勤曾振柄郭远华

计算机应用

摘要（1359）

PDF （608KB）（903）

提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式，根据断言的归纳特性，将循环不变式的生成问题转变成一个约束求解问题，这个约束求解问题的每个解对应于一个循环不变式，如果约束求解问题仅有零解，则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现，并通过一些实例说明了该算法的有效性。

相关文章 | 多维度评价

Select

4. 基于动态几何技术的平面几何资源库检索

郭远华曾振柄毕忠勤郭远刚

计算机应用

摘要（1838）

PDF （428KB）（968）

在几何资源库中使用传统的方法检索相似的几何题，效果并不理想。对于基于动态几何技术的平面几何资源库，提出使用几何特征量进行相似性检索的方法。几何特征量量化了几何命题中的各几何元素，可以由动态几何作图指令序列提取，该方法能较好地检索相似的几何命题。